logical consistence

См. также в других словарях:

• consistence — (Roget s Thesaurus II) noun Logical agreement among parts: coherence, congruity, consistency. See AGREE …   English dictionary for students

• Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality …   Wikipedia

• History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

• History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

• ordered — adjective 1. having a systematic arrangement; especially having elements succeeding in order according to rule (Freq. 4) an ordered sequence • Ant: ↑disordered • Similar to: ↑consecutive, ↑sequent, ↑sequential, ↑ …   Useful english dictionary

• Sherlock Holmes — Infobox character colour = #DEDEE2 name = Sherlock Holmes caption = A portrait of Sherlock Holmes by Sidney Paget from the Strand Magazine , 1891 first = last = cause = creator = Sir Arthur Conan Doyle portrayer = episode = Four novelsFifty six… …   Wikipedia

• Christianity — • An account is given of Christianity as a religion, describing its origin, its relation to other religions, its essential nature and chief characteristics, but not dealing with its doctrines in detail nor its history as a visible organization… …   Catholic encyclopedia

• coherence — I (New American Roget s College Thesaurus) Sticking together Nouns 1. coherence, adherence, adhesion, cohesion, adhesiveness; concretion, accretion; conglutination, coagulation, agglutination; set, gel, jell, jelly, cementation; sticking,… …   English dictionary for students

• Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… …   Wikipedia

• consistency — I (New American Roget s College Thesaurus) n. solidity, density; harmony, correspondence. See agreement, regularity. II (Roget s IV) n. 1. [Harmony] Syn. congruity, agreement, union, correspondence, uniformity, accord, appropriateness, unity,… …   English dictionary for students

• congruity — (Roget s Thesaurus II) noun 1. The act or state of agreeing or conforming: accordance, agreement, chime, conformance, conformation, conformity, congruence, correspondence, harmonization, harmony, keeping. See AGREE. 2. Logical agreement among… …   English dictionary for students